@import url("https://fonts.googleapis.com/css2?family=Noto+Serif+SC:wght@500&display=swap");
code {
  padding: 1px 5px;
  font-family: Inconsolata, Monaco, Consolas, 'Courier New', Courier, monospace;
/* font-size: 0.91rem; */
  color: #e96900;
  background-color: #f8f8f8;
  border-radius: 2px;
}
pre code {
  padding: 0;
  color: #e8eaf6;
  background-color: #272822;
}
pre[class*="language-"] {
  padding: 1.2em;
  margin: 0.5em 0;
}
code[class*="language-"],
pre[class*="language-"] {
  color: #e8eaf6;
  white-space: pre-wrap !important;
}
*
.line-numbers-rows {
  border-right-width: 0px !important;
}
.line-numbers {
  padding: 1.5rem 1.5rem 1.5rem 3.2rem !important;
  margin: 1rem 0 !important;
  background: #272822;
  overflow: auto;
  border-radius: 0.35rem;
  tab-size: 4;
}
pre {
  padding: 1.5rem !important;
  margin: 1rem 0 !important;
  background: #272822;
  overflow: auto;
  border-radius: 0.35rem;
  tab-size: 4;
}
pre::before {
  content: "";
  height: 16px;
  margin-bottom: 0;
  display: block;
}
pre::after {
  content: " ";
  position: absolute;
  border-radius: 50%;
  background: #ff5f56;
  width: 12px;
  height: 12px;
  top: 0;
  left: 12px;
  margin-top: 12px;
  -webkit-box-shadow: 20px 0 #ffbd2e, 40px 0 #27c93f;
  box-shadow: 20px 0 #ffbd2e, 40px 0 #27c93f;
}
code {
  padding: 1px 5px;
  font-family: Inconsolata, Monaco, Consolas, 'Courier New', Courier, monospace;
  font-size: 0.91rem;
  color: #e96900;
  background-color: #f8f8f8;
  border-radius: 2px;
}
.code_lang {
  position: absolute;
  top: 1.2rem;
  left: 80px;
  line-height: 0;
  font-weight: bold;
  font-family: normal;
  z-index: 1;
  filter: invert(50%);
  cursor: pointer;
}
.footnote-list ol li:before {
  font-family: "Noto Serif SC", "Helvetica Neue", monospace, "Monaco";
  content: "[" counter(sectioncounter) "]";
  counter-increment: sectioncounter;
}
pre code {
  padding: 0;
  color: #e8eaf6;
  background-color: #272822;
}
pre[class*="language-"] {
  padding: 1.2em;
  margin: 0.5em 0;
}
code[class*="language-"],
pre[class*="language-"] {
  color: #e8eaf6;
  white-space: pre-wrap !important;
}
